integrate_0^(pi/2) 1/(a^2*tan(x)^2 + b^2)